-
1 checking system
система контроля
Совокупность технических средств, предназначенных для контроля правильности функционирования аналоговой вычислительной машины или системы.
[Сборник рекомендуемых терминов. Выпуск 84. Аналоговая вычислительная техника. Академия наук СССР. Комитет научно-технической терминологии. 1972 г.]Тематики
- аналоговая и аналого-цифровая выч.техн.
EN
DE
FR
система проверки
система контроля
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > checking system
-
2 checking system
English-Russian dictionary of mechanical engineering and automation > checking system
-
3 checking system
1) Техника: система контроля2) Вычислительная техника: контрольная система3) Контроль качества: система проверки -
4 checking system
English-russian dctionary of contemporary Economics > checking system
-
5 checking system
-
6 checking system
контрольная система; система контроля -
7 automatic checking system
система автоматического контроля
—
[Я.Н.Лугинский, М.С.Фези-Жилинская, Ю.С.Кабиров. Англо-русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.]Тематики
- электротехника, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > automatic checking system
-
8 encoder checking system
English-Russian big polytechnic dictionary > encoder checking system
-
9 information checking system
English-Russian dictionary of Information technology > information checking system
-
10 gas checking system
English-Russian big medical dictionary > gas checking system
-
11 access control and muster point checking system
Универсальный англо-русский словарь > access control and muster point checking system
-
12 automatic checking system
Техника: система автоматического контроляУниверсальный англо-русский словарь > automatic checking system
-
13 baggage checking system
Безопасность: система досмотра багажа, система проверки багажаУниверсальный англо-русский словарь > baggage checking system
-
14 centralization of checking system
Железнодорожный термин: централизованный учётУниверсальный англо-русский словарь > centralization of checking system
-
15 encoder checking system
1) Механика: система контроля по положению с помощью датчикаУниверсальный англо-русский словарь > encoder checking system
-
16 gas checking system
Строительство: система газового контроля -
17 information checking system
Вычислительная техника: система контроля информацииУниверсальный англо-русский словарь > information checking system
-
18 totally self-checking system
Универсальный англо-русский словарь > totally self-checking system
-
19 encoder checking system
Англо-русский словарь по машиностроению > encoder checking system
-
20 baggage checking system
система проверки (досмотра) багажаАнгло-русский словарь по компьютерной безопасности > baggage checking system
См. также в других словарях:
automatic checking system — automatinės kontrolės sistema statusas T sritis automatika atitikmenys: angl. automatic checking system; automatic checkout system vok. automatisches Prüfsystem, n rus. система автоматического контроля, f pranc. système de contrôle automatique, m … Automatikos terminų žodynas
automatic checking system — automatinio tikrinimo sistema statusas T sritis automatika atitikmenys: angl. automatic checking system vok. automatisches Kontrollsystem, n rus. система автоматического контроля, f pranc. système à contrôle automatique, m … Automatikos terminų žodynas
System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… … Wikipedia
System programming — Systems programming (or system programming) is the activity of programming system software. The primary distinguishing characteristic of systems programming when compared to application programming is that application programming aims to produce… … Wikipedia
System accident — A system accident is an unanticipated interaction of multiple failures in a complex system. This complexity can either be technological or organizational, and often is both.[1] A system accident can be very easy to see in hindsight, but very… … Wikipedia
checking chip — patikros lustas statusas T sritis radioelektronika atitikmenys: angl. checking chip; expert system chip vok. Expertensystem Chip, n rus. кристалл ИС экспертной системы, m pranc. puce de système expert, f … Radioelektronikos terminų žodynas
Spring (operating system) — Spring was an experimental microkernel based object oriented operating system developed at Sun Microsystems in the early 1990s. Using technology substantially similar to concepts developed in the Mach kernel, Spring concentrated on providing a… … Wikipedia
automatic checkout system — automatinės kontrolės sistema statusas T sritis automatika atitikmenys: angl. automatic checking system; automatic checkout system vok. automatisches Prüfsystem, n rus. система автоматического контроля, f pranc. système de contrôle automatique, m … Automatikos terminų žodynas
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia